Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous ana[...]

This volume contains a selection of early works by Yevgeny Alexandrovich Yevtushenko who blazed a trail for a generation of Soviet poets with a confident poetic voice that moves effortlessly between social and personal themes. "Zima Junction" vividly describes his idyllic childhood in Siberia and hi[...]